Towards the automation of a defect detection protocol for functional size measurements

There is a need to develop formal protocols to verify the accuracy of software functional size measurements and to calibrate the measurement processes. These protocols offer a mechanism for accomplishing such verification regardless of who performed the measurements (an expert or an automated tool). The detailed analysis of functional size measurement procedures results is necessary to understand the nature of the defects. The automation of these protocols decreases the effort and time required to verify the measurements accuracy and supports the calibration of procedures and tools for functional size measurement. This paper presents an empirical study for evaluating the results of a prototype tool that automates an accuracy verification protocol for IFPUG FPA measurements. Our tool uses a graph-based model to search for the causes of measurement mismatches detected in the verification process. The current prototype has reached an accuracy of 93.92%, a precision of 98.69% and a recall of 94.94%.Ministerio de Ciencia, Tecnología y Telecomunicaciones//MICITT/Costa RicaUniversidad de Costa Rica/[834-B5-A18]/UCR/Costa RicaUCR::Vicerrectoría de Docencia::Ingeniería::Facultad de Ingeniería::Escuela de Ciencias de la Computación e InformáticaUCR::Vicerrectoría de Investigación::Unidades de Investigación::Ingeniería::Centro de Investigaciones en Tecnologías de Información y Comunicación (CITIC

A tertiary study on model-based testing areas, tools and challenges: Preliminary results

Context: Model-based testing (MBT) is one of the most studied approaches by secondary studies in the area of software testing. A tertiary study that aggregates knowledge from secondary studies on MBT can be useful to both academia and industry. Objective: The goal of this study is to identify and characterize secondary studies in model-based testing, in terms of the areas, tools and challenges they have investigated. Method: We conducted a tertiary study in MBT. Our systematic mapping of secondary studies included 12 literature surveys and 10 systematic reviews over the period 1996–2016.Results: We found that the two most studied areas of MBT are UML models and Transition-based notations. We also found that only 5 studies compared and classified MBT tools. The main challenges and limitations found were related to the need for more empirical evidence that supports the selection of MBT approaches and tools. Conclusions: Not many systematic reviews on MBT were found, consequently some areas still lack secondary studies: test execution aspects, language types, model dynamics, and some model paradigms and generation methods. We thus encourage the MBT community to perform further systematic reviews and mapping studies, following known protocols and reporting procedures, in order to increase the quality and quantity of empirical studies in MBT.Universidad de Costa Rica/[834-B7-749]/UCR/Costa RicaUCR::Vicerrectoría de Docencia::Ingeniería::Facultad de Ingeniería::Escuela de Ciencias de la Computación e InformáticaUCR::Vicerrectoría de Investigación::Unidades de Investigación::Ingeniería::Centro de Investigaciones en Tecnologías de Información y Comunicación (CITIC

Sistemas de apoyo a la toma de decisiones que usan inteligencia artificial en la agricultura de precisión

Los sistemas de apoyo a la toma de decisiones para la agricultura permiten optimizar los procesos de cultivo, al utilizar la menor cantidad de recursos (tierra, agua y fertilizantes). En esta investigación, se caracterizaron los sistemas de apoyo a la toma de decisiones que usan técnicas de inteligencia artificial (IA) en procesos de agricultura de precisión. Para ello, se realizó un mapeo sistemático de literatura donde se identificaron 39 estudios primarios. Los estudios se analizaron con respecto a las técnicas de IA utilizadas, las variables de entrada, salidas, tipo de procesamiento realizado, y evaluación de las soluciones reportadas. En total se identificaron 12 técnicas de IA y 73 variables de entrada, siendo las variables de clima las más usadas. Adicionalmente, se evidenció que el 57% de los estudios analizados (18) reportan automatización de los procesos mediante el uso de actuadores, mientras que solo el 17% (6) brindan recomendaciones a los agricultores.Universidad de Costa Rica/[834-B9-189]/UCR/Costa RicaUniversidad de Costa Rica/[736-B8-016 ]/UCR/Costa RicaUCR::Vicerrectoría de Investigación::Unidades de Investigación::Ingeniería::Centro de Investigaciones en Tecnologías de Información y Comunicación (CITIC)UCR::Vicerrectoría de Investigación::Unidades de Investigación::Ciencias Agroalimentarias::Estación Experimental Agrícola Fabio Baudrit Moreno (EEAFBM

FastWorks FPA: Una herramienta para automatizar la medición del tamaño funcional

La automatización de la medición del tamaño funcional es un reto para la industria del software. Una solución automatizada de conteo no es trivial, debido a que debe proporcionar un nivel aceptable en la exactitud de las mediciones de acuerdo a los estándares de la industria. En este artículo se presenta una herramienta prototipo para la medición del tamaño funcional para aplicaciones de software modeladas en un marco de trabajo para desarrollo llamado FastWorks. El estudio detalla la arquitectura del maco de trabajo y del componente de medición, el diseño de las reglas de mapeo y conteo del procedimiento de medición basado en el método IFPUG FPA y la validación de los resultados del conteo de puntos de función obtenidos por la herramienta.Ministerio de Ciencia, Tecnología y Telecomunicaciones//MICITT/Costa RicaUniversidad de Costa Rica/[834-B5-A18]/UCR/Costa RicaUCR::Vicerrectoría de Docencia::Ingeniería::Facultad de Ingeniería::Escuela de Ciencias de la Computación e InformáticaUCR::Vicerrectoría de Investigación::Unidades de Investigación::Ingeniería::Centro de Investigaciones en Tecnologías de Información y Comunicación (CITIC

DISEÑO DE UN ESTÁNDAR DE VERIFICACIÓN YVALIDACIÓN PARAASEGURAR LA CALIDAD DEL SOFTWARE

Este artículo describe la experiencia obtenida en el proceso de elaboración de un estándar de verificación y validacióndel software para la Universidad de Costa Rica. El Estándar UCR-61 está basado en los estándares de ingeniería desoftware de la IEEE. Se explica el contenido del Estándar UCR-61 y la experiencia obtenida en el proceso de elaboracióndel mismo. Este artículo puede ser de utilidad a organizaciones interesadas en mejorar la calidad del softwareque producen

Applying a Verification Protocol to Evaluate the Accuracy of Functional Size Measurement Procedures: An Empirical Approach

This paper presents a verification protocol for analyzing the source of inaccuracy in measurement activities of Function Points Analysis (FPA) and Automated Function Point (AFP). An empirical study was conducted with the protocol to determine the accuracy of FPA and AFP, and common differences during their application. The empirical study was conducted and differences between the measurement process regarding accuracy, reproducibility, and protocol adoption properties were reported. Effectiveness of the verification protocol to evaluate functional size measurement procedures was provided. The application of the protocol enabled participants to identify differences and their causes between counting results in a systematic way. Many participants had a favorable opinion regarding the usefulness of the protocol, and most of them agreed that the application of this protocol improved their understanding of measurement methods.Universidad de Costa Rica/[834-B5-A18]/UCR/Costa RicaUCR::Vicerrectoría de Investigación::Unidades de Investigación::Ingeniería::Centro de Investigaciones en Tecnologías de Información y Comunicación (CITIC

An evaluation of functional size measurement methods

Background: Software size is one of the key factors that has the potential to affect the effort of software projects. Providing accurate software size estimation is a complex task. A number of functional size measurement (FSM) methods have been proposed to quantify the size of software based on functional user requirements (user perspective). Function point analysis (FPA) was the first proposal for a FSM method and it is one of the most accepted FSM methods in the industry. Automated Function Point (AFP) method state the guidelines for automating FPA counting from software source code. Objectives: This paper reports on an experiment that compares FPA and AFP. The goal is to evaluate the measurement process on a range of performance and adoption properties such as accuracy, reproducibility, efficiency, perceived easy to use, usefulness, and intention to use. Methods: A controlled experiment was conducted to compare the two methods. Statistical analyses were conducted to find differences between the methods regarding performance and adoption properties. Results: The functional size results between the FPA and AFP methods were similar (MMRE 6-8%). Productivity rate was about the same reported for the industry (43.4 FPA/h, 37.8 AFP/h). There were no significant differences between the methods for functional size estimation, reproducibility, and accuracy. Limitations: This is an initial experiment of a work in progress. The limited sample size and nature of the subjects may influence the results. Conclusions: These results support the claim that AFP produces similar measurement results that FPA. The automation of the AFP method could produce more consistent measurement results in conformance with the FPA counting guidelines. An automated and quick FSM counting method will increase the adoption of this metric in industry. Further research is needed to conclude more on some perceived adoption properties.Ministerio de Ciencia, Tecnología y Telecomunicaciones/[]/MICITT/Costa RicaUCR::Vicerrectoría de Docencia::Ingeniería::Facultad de Ingeniería::Escuela de Ciencias de la Computación e InformáticaUCR::Vicerrectoría de Investigación::Unidades de Investigación::Ingeniería::Centro de Investigaciones en Tecnologías de Información y Comunicación (CITIC

An Empirical Validation of Function Point Structure and Applicability: A Replication Study

Background: The complexity of providing accurate software size estimation and effort prediction models is well known in the software industry. Function point analysis (FPA) is currently one of the most accepted software functional size metric in the industry, but it is hardly automatable and generally requires a lengthy and costly process. Objectives: This paper reports on a family of replications carried out on a subset of the ISBSG R12 dataset to evaluate the structure and applicability of function points. The goal of this replication was to aggregate evidence about internal issues of FPA as a metric, and to confirm previous results using a different set of data. First, FPA counting was analyzed in order to determine the extent to which the base functional components (BFC) were independent of each other and thus appropriate for an additive model of size. Second, the correlation between effort and BFCs and unadjusted function points (UFP) were assessed in order to determine whether a simplified sizing metric might be appropriate to simplify effort prediction models. Methods: A subset of 72 business application projects from 2008 to 2011 was analyzed. BFCs, UFP, and effort correlation were studied. Results: The results aggregated evidence and confirmed that some BFCs of the FPA method are correlated. There is a relationship between BFCs and effort. There are correlations between UFP and inputs, enquiries, and internal files, and between BFCs and effort. Internal files and inputs are found to be correlated always, and external interface files are found to be uncorrelated with the others. A prediction model based on transactions and internal files appear to be as good as a model based on UFP. The use of some contexts attributes may improve effort prediction models. Limitations: This is an initial experiment of a research in progress. The limited size and nature of the dataset may influence the results. Conclusions: Our results might suggest an improvement in the performance of the measurement process. Simplifying FPA measurement procedure based on counting a subset of BFCs could improve measurement process efficiency and simplify prediction models.Ministerio de Ciencia, Tecnología y Telecomunicaciones/[]/MICITT/Costa RicaUCR::Vicerrectoría de Docencia::Ingeniería::Facultad de Ingeniería::Escuela de Ciencias de la Computación e InformáticaUCR::Vicerrectoría de Investigación::Unidades de Investigación::Ingeniería::Centro de Investigaciones en Tecnologías de Información y Comunicación (CITIC

Factores asociados a prácticas de desarrollo y pruebas de software en Costa Rica: Un estudio exploratorio

La industria de desarrollo de software costarricense se desenvuelve en entornos cambiantes y competitivos. Para enfrentar los continuos desafíos adoptan distintas prácticas ingenieriles que les permitan cumplir las metas de calidad establecidas e incrementar la productividad. Este estudio realiza un análisis cruzado de factores entre las prácticas de ingeniería de software utilizadas en la industria versus los factores demográficos de los profesionales. Para esto, exploramos las relaciones y patrones identificados para las prácticas de desarrollo y pruebas de software. Nuestro análisis considera las respuestas de 135 profesionales que participaron en una encuesta basada en el cuerpo de conocimiento en la ingeniería del software (SWEBOK). En nuestra investigación encontramos que no existe una asociación significativa entre el tamaño de la organización y las metodologías de desarrollo. Además, un conjunto de asociaciones identificadas con distintos factores de contexto son discutidas. Los resultados sugieren que las organizaciones y sus equipos de desarrollo adaptan las prácticas ingenieriles en sus procesos de acuerdo a las necesidades específicas y el contexto de negocios en el que desarrollan sus proyectos. Se requieren estudios similares que analicen las tendencias de uso y adopción de las prácticas de la ingeniería del software en distintos contextos.Ministerio de Ciencia, Tecnología y Telecomunicaciones//MICITT/Costa RicaUniversidad de Costa Rica/[834-B5-A18]/UCR/Costa RicaUCR::Vicerrectoría de Docencia::Ingeniería::Facultad de Ingeniería::Escuela de Ciencias de la Computación e InformáticaUCR::Vicerrectoría de Investigación::Unidades de Investigación::Ingeniería::Centro de Investigaciones en Tecnologías de Información y Comunicación (CITIC

Procedimientos de medición del tamaño funcional: un mapeo sistemático de literatura

La medición del tamaño funcional (FSM) del software ha sido ampliamente reconocida por su utilidad en distintas fases de desarrollo y por su independencia de la tecnología. Una de las principales limitantes para la adopción de los métodos FSM es el tiempo y el costo del proceso de conteo y la confiabilidad de los resultados. La formalización de los procedimientos de FSM incrementa las posibilidades de automatización porque reducen la variabilidad que genera la interpretación de las reglas generales de los métodos FSM. En este estudio se identifican y caracterizan procedimientos de medición de tamaño funcional mediante un mapeo sistemático de literatura, los estudios se mapean de acuerdo con el método de medición, los artefactos de entrada, el método de investigación, el contexto, su nivel de automatización y las amenazas a la validez reportadas. En total 150 artículos son analizados. Existe una necesidad de evidencia empírica sobre la automatización de procedimientos FSM. Esto incluye el uso estandarizado de protocolos de evaluación y un mayor nivel de detalle en los reportes para facilitar las comparaciones y replicaciones de estudios.Universidad de Costa Rica/[834-B5-A18]/UCR/Costa RicaMinisterio de Ciencia, Tecnología y Telecomunicaciones/[834-B5-A18]/MICITT/Costa RicaUCR::Vicerrectoría de Docencia::Ingeniería::Facultad de Ingeniería::Escuela de Ciencias de la Computación e InformáticaUCR::Vicerrectoría de Investigación::Unidades de Investigación::Ingeniería::Centro de Investigaciones en Tecnologías de Información y Comunicación (CITIC